existential instantiation перевод

• мат. экзистенциальное подтверждение

• existential:    1) _книж. относящийся к существованию, реальности2) _филос. экзистенциальный
• instantiation:    C++ реализация (код, генерируемый при вызове шаблонной функции(templated function) для конкретного набора типов входных параметров )Реализация instantiation вчт. конкретизация ~ of variables вчт.кон
• parameterized instantiation:    параметрическая конкретизация
• universal instantiation:    мат. универсальное подтверждение
• existential analysis:    экзистенциальный анализ; исследование личности.
• existential anxiety:    экзистенциальная тревога; страх, появляющийся при необходимости принятия жизненно важного решения, особенно связанного с выбором.
• existential assertion:    мат. экзистенциальное суждение
• existential axiomatics:    мат. экзистенциальная аксиоматика
• existential class:    мат. экзистенциальный класс
• existential closure:    мат. экзистенциональное замыкание, замыкание существования
• existential crisis:    Экзистенциальный кризис
• existential definability:    мат. экзистенциальная определимость
• existential dichotomies:    экзистенциальные дихотомии; по Э. Фромму - фундаментальные противоречия, составляющие суть человеческой природы (дихотомии жизни и смерти, созидательности и разрушительности, укорененности и кровосм
• existential formula:    мат. экзистенциальная формула
• existential generalization:    мат. экзистенциальное обобщение